Reliability-oriented Verification of Mission-critical Software Systems
نویسنده
چکیده
منابع مشابه
Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems - A Case Study
The ability to generate sufficiently accurate effort estimates can be seen as a key success factor for multiorganizational projects focusing on the development of large and critical software systems. This is caused, for instance, by the need for synchronizing multiple development and verification and validation processes. Paradoxically, effort predictions in the critical software systems domain...
متن کاملModel Driven Development of a Service Oriented Architecture (SOA) Using Colored Petri Nets
Service-Oriented Architecture (SOA) is achieving widespread acceptance in a variety of enterprise systems, due to its inherent flexibility and interoperability, improving upon the more tradition and less supportable “stovepipe” approach. The high degree of concurrency and both synchronous and asynchronous communications inherent in SOA makes it a good candidate for a Petri Nets based model driv...
متن کاملModel-based Reliability And Safety Analysis, Fosters Agility In Design Of Mission-Critical Systems
In Systems Engineering Verification and Testing for Reliability and Safety are the most complex, error-prone and expensive tasks. This paper explains how Model Based Systems Engineering Techniques and Methodologies, powered by SysML, can facilitate Agility in Design for Reliability and Safety of Mission-Critical Systems in several Industries like Aerospace, Medical, Automotive, Transportation. ...
متن کاملAda 2005 for Mission-Critical Systems
For the development of mission-critical software, the choice of programming language makes a significant difference in meeting the requirements of exacting safety standards and, ultimately, high-reliability applications. Ada has a long history of success in the safety-critical domain, with features such as strong typing, that help early error detection, and well-defined semantics. The language ...
متن کاملModel Checking Distributed Control Systems Based on Software Architecture
Distributed control systems are a category of high complex systems that include a large number of devices controlled and harmonized by computer systems. Their reliability and functional correctness always need to be guaranteed as their mission-critical feature. The analysis process for complex control systems consists of proving or verifying that the designed system indeed meets certain specifi...
متن کامل